<!DOCTYPE html>
<html lang="cn">

<head>
  <meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<meta name="description" content="计算机科学基础知识之程序部分 程序构建 程序构建的过程就是把写给人看的代码翻译成写给机器看的代码。当我们使用C语言编写了一个输出hello world的小程序，只需要gcc hello.c就会得到一个目标文件a.out，然后直接打开就可以输出。但是它的背后却没有这么简单:
这个过程大体上分为预处理(Prepressing)、编译(Compilation)、汇编(Assembly)和链接(Linking)。
预处理 也叫预编译，这一步主要进行如下处理:
 将所有的#define删除，并展开所有的宏定义 处理所有的条件预编译指令，如#if、#ifdef等 处理#include，将被包含的文件插入到该位置，这个过程是递归的 删除所有的注释//和/* ... */ 添加行号和文件名标识，便于后续编译时能产生调试信息 保留所有的#pragma指令，它是用来设定编译器状态或特殊动作的  这一步可以用过gcc -E hello.c -o hello.i来完成，预处理后的代码并非二进制所以可以直接打开。
编译 这个过程是整个程序构建最核心的部分，可以细分为词法分析、语法分析、语义分析、中间语言生成和目标代码生成优化这些小步:
这个过程我们可以通过gcc -S hello.i -o hello.s来做。实际上在GNU的标准中，gcc只是一些后台程序的包装，预处理和编译都使用一个叫cc1的程序，汇编器是as，链接器是ld。
词法分析 源代码被输入到扫描器(Scanner)，扫描器运用有限状态机(Finite State Machine)的算法将源代码的字符序列分割成一系列的记号(Token)并给它们分好类。比如array[index] = (index &#43; 4) * (2 &#43; 6)这样一行源码经过扫描后会产生如下记号:
   记号(Token) 类型     array 标识符   [ 左方括号   index 标识符   ] 右方括号   = 赋值   ( 左圆括号   index 标识符   &#43; 加号   4 数字   ) 右圆括号   * 乘号   ( 左圆括号   2 数字   &#43; 加号   6 数字   ) 右圆括号    产生的记号可以分类为关键字、标识符、字面量(包含数字、字符串等)和特殊符号(如加号、乘号等)。识别记号的同时，扫描器还会将标识符存在符号表，将字面量存放到文字表。"><meta property="og:title" content="程序" />
<meta property="og:description" content="" />
<meta property="og:type" content="website" />
<meta property="og:url" content="/docs/sicp/program/" />

<title>程序 | Home</title>
<link rel="icon" href="/favicon.png" type="image/x-icon">
<link rel="stylesheet" href="/book.min.63eb88daa545365405ecdbb21033286a325c60a36cfa6d22d21e7c3bc9286941.css" integrity="sha256-Y&#43;uI2qVFNlQF7NuyEDMoajJcYKNs&#43;m0i0h58O8koaUE=">
<script defer src="/cn.search.min.8d2462c3b745732864d843e8e2e7782a2ec838ca90fb94676baa461536bdae11.js" integrity="sha256-jSRiw7dFcyhk2EPo4ud4Ki7IOMqQ&#43;5Rna6pGFTa9rhE="></script>
<link rel="alternate" type="application/rss+xml" href="/docs/sicp/program/index.xml" title="Home" />
<!--
Made with Book Theme
https://github.com/alex-shpak/hugo-book
-->

  
</head>

<body>
  <input type="checkbox" class="hidden" id="menu-control" />
  <main class="container flex">
    <aside class="book-menu">
      
  <nav>
<h2 class="book-brand">
  <a href="/"><img src="/logo.png" alt="Logo" /><span>Home</span>
  </a>
</h2>


<div class="book-search">
  <input type="text" id="book-search-input" placeholder="搜索" aria-label="搜索" maxlength="64" data-hotkeys="s/" />
  <div class="book-search-spinner spinner hidden"></div>
  <ul id="book-search-results"></ul>
</div>











  <ul>
<li><strong>计算机基础</strong>
<ul>
<li><a href="/docs/sicp/hardware/">硬件</a></li>
<li><a href="/docs/sicp/software/">软件</a></li>
<li><a href="/docs/sicp/program/"class=active>程序</a></li>
<li><a href="/docs/sicp/asm/">汇编</a></li>
</ul>
</li>
<li><strong>GO语言</strong>
<ul>
<li><a href="/docs/go/map/">字典</a></li>
<li><a href="/docs/go/closure/">闭包</a></li>
<li><a href="/docs/go/defer/">延迟调用</a></li>
<li><a href="/docs/go/goroutine/">并发调度</a></li>
<li><a href="/docs/go/alloc/">内存分配</a></li>
<li><a href="/docs/go/gc/">垃圾回收</a></li>
<li><a href="/docs/go/lock/">锁</a></li>
</ul>
</li>
<li><strong>Python语言</strong>
<ul>
<li><a href="/docs/python/memory/">内存管理</a></li>
<li><a href="/docs/python/interpreter/">解释器</a></li>
<li><a href="/docs/python/tools/">技巧工具</a></li>
</ul>
</li>
<li><strong>Mysql</strong>
<ul>
<li><a href="/docs/mysql/query/">查询</a></li>
<li><a href="/docs/mysql/theory/">原理</a></li>
</ul>
</li>
<li><strong>其他</strong>
<ul>
<li><a href="/docs/other/git/">git</a></li>
<li><a href="/docs/other/docker/">docker</a></li>
<li><a href="/docs/other/raft/">raft</a></li>
<li><a href="/docs/other/shell/">shell</a></li>
<li><a href="/docs/other/oop/">面向对象</a></li>
<li><a href="/docs/other/protocol/">网络协议</a></li>
<li><a href="/docs/other/tools/">系统工具</a></li>
</ul>
</li>
</ul>










</nav>




  <script>(function(){var menu=document.querySelector("aside.book-menu nav");addEventListener("beforeunload",function(event){localStorage.setItem("menu.scrollTop",menu.scrollTop);});menu.scrollTop=localStorage.getItem("menu.scrollTop");})();</script>


 
    </aside>

    <div class="book-page">
      <header class="book-header">
        
  <div class="flex align-center justify-between">
  <label for="menu-control">
    <img src="/svg/menu.svg" class="book-icon" alt="Menu" />
  </label>

  <strong>程序</strong>

  <label for="toc-control">
    <img src="/svg/toc.svg" class="book-icon" alt="Table of Contents" />
  </label>
</div>


  
    <input type="checkbox" class="hidden" id="toc-control" />
    <aside class="hidden clearfix">
      
  <nav id="TableOfContents">
  <ul>
    <li><a href="#程序构建">程序构建</a>
      <ul>
        <li><a href="#预处理">预处理</a></li>
        <li><a href="#编译">编译</a></li>
        <li><a href="#汇编">汇编</a></li>
        <li><a href="#链接">链接</a></li>
      </ul>
    </li>
    <li><a href="#可执行文件">可执行文件</a>
      <ul>
        <li><a href="#head">Head</a></li>
        <li><a href="#section">Section</a></li>
        <li><a href="#segment">Segment</a></li>
      </ul>
    </li>
    <li><a href="#函数调用">函数调用</a>
      <ul>
        <li><a href="#调用堆栈">调用堆栈</a></li>
        <li><a href="#调用约定">调用约定</a></li>
        <li><a href="#栈和堆">栈和堆</a></li>
      </ul>
    </li>
  </ul>
</nav>


    </aside>
  
 
      </header>

      
      
  <article class="markdown"><h1 id="计算机科学基础知识之程序部分">计算机科学基础知识之程序部分</h1>
<h2 id="程序构建">程序构建</h2>
<p>程序构建的过程就是把写给人看的代码翻译成写给机器看的代码。当我们使用C语言编写了一个输出hello world的小程序，只需要<code>gcc hello.c</code>就会得到一个目标文件<code>a.out</code>，然后直接打开就可以输出。但是它的背后却没有这么简单:</p>
<p><img src="./images/gcc.png" alt="" /></p>
<p>这个过程大体上分为预处理(Prepressing)、编译(Compilation)、汇编(Assembly)和链接(Linking)。</p>
<h3 id="预处理">预处理</h3>
<p>也叫预编译，这一步主要进行如下处理:</p>
<ul>
<li>将所有的<code>#define</code>删除，并展开所有的宏定义</li>
<li>处理所有的条件预编译指令，如<code>#if</code>、<code>#ifdef</code>等</li>
<li>处理<code>#include</code>，将被包含的文件插入到该位置，这个过程是递归的</li>
<li>删除所有的注释<code>//</code>和<code>/* ... */</code></li>
<li>添加行号和文件名标识，便于后续编译时能产生调试信息</li>
<li>保留所有的<code>#pragma</code>指令，它是用来设定编译器状态或特殊动作的</li>
</ul>
<p>这一步可以用过<code>gcc -E hello.c -o hello.i</code>来完成，预处理后的代码并非二进制所以可以直接打开。</p>
<h3 id="编译">编译</h3>
<p>这个过程是整个程序构建最核心的部分，可以细分为词法分析、语法分析、语义分析、中间语言生成和目标代码生成优化这些小步:</p>
<p><img src="./images/compile.jpg" alt="" /></p>
<p>这个过程我们可以通过<code>gcc -S hello.i -o hello.s</code>来做。实际上在GNU的标准中，gcc只是一些后台程序的包装，预处理和编译都使用一个叫cc1的程序，汇编器是as，链接器是ld。</p>
<h4 id="词法分析">词法分析</h4>
<p>源代码被输入到扫描器(Scanner)，扫描器运用有限状态机(Finite State Machine)的算法将源代码的字符序列分割成一系列的记号(Token)并给它们分好类。比如<code>array[index] = (index + 4) * (2 + 6)</code>这样一行源码经过扫描后会产生如下记号:</p>
<table>
<thead>
<tr>
<th>记号(Token)</th>
<th>类型</th>
</tr>
</thead>
<tbody>
<tr>
<td>array</td>
<td>标识符</td>
</tr>
<tr>
<td>[</td>
<td>左方括号</td>
</tr>
<tr>
<td>index</td>
<td>标识符</td>
</tr>
<tr>
<td>]</td>
<td>右方括号</td>
</tr>
<tr>
<td>=</td>
<td>赋值</td>
</tr>
<tr>
<td>(</td>
<td>左圆括号</td>
</tr>
<tr>
<td>index</td>
<td>标识符</td>
</tr>
<tr>
<td>+</td>
<td>加号</td>
</tr>
<tr>
<td>4</td>
<td>数字</td>
</tr>
<tr>
<td>)</td>
<td>右圆括号</td>
</tr>
<tr>
<td>*</td>
<td>乘号</td>
</tr>
<tr>
<td>(</td>
<td>左圆括号</td>
</tr>
<tr>
<td>2</td>
<td>数字</td>
</tr>
<tr>
<td>+</td>
<td>加号</td>
</tr>
<tr>
<td>6</td>
<td>数字</td>
</tr>
<tr>
<td>)</td>
<td>右圆括号</td>
</tr>
</tbody>
</table>
<p>产生的记号可以分类为关键字、标识符、字面量(包含数字、字符串等)和特殊符号(如加号、乘号等)。识别记号的同时，扫描器还会将标识符存在符号表，将字面量存放到文字表。</p>
<h4 id="语法分析">语法分析</h4>
<p>接着，语法分析器(Grammar Parser)会对扫描器产生的记号进行语法分析，从而产生语法树(Syntax Tree)。上例中的表达式得到的语法树为:</p>
<p><img src="./images/syntaxTree1.jpg" alt="" /></p>
<p>整个分析过程采用一种叫上下文无关语法(Context-free Grammar)的手段，整个语句被看成一个赋值表达式，其左边是一个数组表达式，右边是一个乘法表达式。在这一步，运算符的优先级和含义被确定了下来，例如<code>*</code>既可以是乘号又可以是指针，在该表达式中具体指什么就是在这一步确定的。</p>
<h4 id="语义分析">语义分析</h4>
<p>语法分析只是对表达式语法层面进行了分析，它不了解这个语句是否是真正有意义的，比如C里面指针的乘法运算是没有意义的，但它是合乎语法的。那么此时，语义分析器(Semantic Analyzer)可以完成对静态语义的分析。</p>
<p>静态语义(Static Semantic)是指在编译期可以确定的语义，通常包括声明和类型的匹配，类型的转换，例如把一个浮点数赋值给整型表达式，其中的隐式类型转换的过程就由语义分析完成。而动态语义(Dynamic Semantic)是指在运行期出现的语义相关问题，例如将0作为除数是一个运行期语法错误。</p>
<p>此阶段，语法树中的表达式都被标识了类型，符号表里的符号类型也做了更新:</p>
<p><img src="./images/syntaxTree2.jpg" alt="" /></p>
<h4 id="中间语言生成">中间语言生成</h4>
<p>编译器下一步要做的是源码优化，上例中的(2+6)这个表达式在这一步会被优化掉，因为它的值编译期就是可以确定的。这个阶段，源码优化器(Source Code Optimizer)会将语法树转换为中间代码(Intermediate Code)，它是语法树的顺序表示，在不同编译器有不同的类型，常见的有三地址码(Three-address Code)和P-代码(P-Code)。三地址码即<code>x = y op z</code>，表示将y和z操作的结果复制给x，所以上例表达式会被转换为:</p>
<pre><code>t1 = 2 + 6
t2 = index + 4
t3 = t2 * t1
array[index] = t3
</code></pre><p>经过优化后就是:</p>
<pre><code>t1 = index + 4
t2 = t1 * 8
array[index] = t2
</code></pre><p>中间代码将编译器分为前端和后端，前端负责产生与机器无关的中间代码，后端负责把这些中间代码转换为目标机器上的代码，如此可以让编译器使用一个前端、多个后端，从而具备跨平台的能力。</p>
<h4 id="目标代码生成与优化">目标代码生成与优化</h4>
<p>编译器后端主要包括代码生成器(Code Generator)和目标代码优化器(Target Code Optimizer)。由于目标机器有不同的字长、寄存器、整数数据类型等，代码生成器也就不相同，以x86为例，上例中间代码生成的汇编代码为:</p>
<pre><code>movl index, %ecx
addl $4, %ecx
mull $8, %ecx
movl index, %eax
movl %ecx, array(,eax,4)
</code></pre><p>接着，目标代码优化器会进行优化，例如选择合适的寻址方式、通过位移来代替乘法运算、删除冗余指令等。上例中乘法可以由一条相对复杂的基址比例变址寻址(Basic Index Scale Addressing)的lea指令来完成，优化后的代码为:</p>
<pre><code>movl index, %edx
leal 32(,%edx,8), %eax
movl %eax, array(,%edx,4)
</code></pre><h3 id="汇编">汇编</h3>
<p>汇编器是将汇编代码转变成机器可以执行的指令，每一个汇编语句几乎对应着一条机器指令。所以这一步其实相对简单，没有优化解析的过程，只需一一翻译就可以了。可以通过<code>gcc -c hello.s -o hello.o</code>来得到目标文件(Object File)。</p>
<h3 id="链接">链接</h3>
<p>如果汇编指令当中的符号都是在一个编译单元内的，那么编译器就可以去确定这些符号的地址。然而现代软件往往是由复杂的模块构成的，即使是输出一个简单的hello world也要导入C标准库。那么每个源代码模块就需要单独的编译，然后按照顺序把它们组装起来，这个过程就是链接(Linking)。模块间的函数调用、变量引用等都是需要通过符号来通信的，链接器就是把指令中对于其他符号的引用加以修正，整个过程又包含了地址和空间分配(Address and Storage Allocation)、符号决议(Symbol Resolution,或名称绑定Name Binding)和重定位(Relocation)这些步骤。</p>
<p><img src="./images/linking.jpg" alt="" /></p>
<h4 id="静态链接与动态链接">静态链接与动态链接</h4>
<p>把多个目标模块(.o)打包成一个独立文件(.a)，这种方式称为静态库。我们在写自己的代码引用到静态库的某个函数的时候，实际上链接器是把静态库当做一个目标模块作为其输入。</p>
<p>相比于静态库内嵌的方式，动态链接库(.so文件或win下的.dll文件)是在运行时由动态链接器执行动态链接，它可被加载到任意位置。</p>
<p>很多库既提供了动态链接版本，也提供了静态库版本，比如C的标准库libc.so和libc.a。我们在编译的时候可以通过<code>gcc -static</code>来指定使用其静态库版本，这样编译好的目标文件就可以不依赖操作系统的环境去运行。Go语言就采用静态链接的方式，它的可执行程序往往复制在同类操作系统上就能运行。</p>
<h2 id="可执行文件">可执行文件</h2>
<p><img src="./images/elf.png" alt="ELF" /></p>
<p>一个<strong>可执行程序</strong>看上去像是单个文件的数据库，我们以ELF格式的可执行文件为例，它包括头部元数据、Section header table、Program header table和各个section段。</p>
<h3 id="head">Head</h3>
<p>文件头部包含一些元数据，用于进程加载找入口地址等:</p>
<div class="highlight"><pre style="color:#f8f8f2;background-color:#272822;-moz-tab-size:4;-o-tab-size:4;tab-size:4"><code class="language-sh" data-lang="sh"><span style="color:#f92672">[</span>ubuntu<span style="color:#f92672">]</span> ~/.mac/assem $ readelf -h hello
ELF Header:
  Magic:   7f <span style="color:#ae81ff">45</span> 4c <span style="color:#ae81ff">46</span> <span style="color:#ae81ff">02</span> <span style="color:#ae81ff">01</span> <span style="color:#ae81ff">01</span> <span style="color:#ae81ff">00</span> <span style="color:#ae81ff">00</span> <span style="color:#ae81ff">00</span> <span style="color:#ae81ff">00</span> <span style="color:#ae81ff">00</span> <span style="color:#ae81ff">00</span> <span style="color:#ae81ff">00</span> <span style="color:#ae81ff">00</span> <span style="color:#ae81ff">00</span>      // 魔法数，可以快速读取出来用于预判整个文件是不是一个合法的内容
  Class:                             ELF64          // ELF文件的格式
  Data:                              2<span style="color:#960050;background-color:#1e0010">&#39;</span>s complement, little endian  // 大小端情况
  Version:                           <span style="color:#ae81ff">1</span> <span style="color:#f92672">(</span>current<span style="color:#f92672">)</span>
  OS/ABI:                            UNIX - System V    // 哪个平台使用
  ABI Version:                       <span style="color:#ae81ff">0</span>
  Type:                              EXEC <span style="color:#f92672">(</span>Executable file<span style="color:#f92672">)</span>     // 哪种类型，可执行的还是需重定位的等
  Machine:                           Advanced Micro Devices X86-64
  Version:                           0x1
  Entry point address:               0x4000b0       //入口地址
  Start of program headers:          <span style="color:#ae81ff">64</span> <span style="color:#f92672">(</span>bytes into file<span style="color:#f92672">)</span>
  Start of section headers:          <span style="color:#ae81ff">736</span> <span style="color:#f92672">(</span>bytes into file<span style="color:#f92672">)</span>
  Flags:                             0x0
  Size of this header:               <span style="color:#ae81ff">64</span> <span style="color:#f92672">(</span>bytes<span style="color:#f92672">)</span>
  Size of program headers:           <span style="color:#ae81ff">56</span> <span style="color:#f92672">(</span>bytes<span style="color:#f92672">)</span>
  Number of program headers:         <span style="color:#ae81ff">2</span>
  Size of section headers:           <span style="color:#ae81ff">64</span> <span style="color:#f92672">(</span>bytes<span style="color:#f92672">)</span>
  Number of section headers:         <span style="color:#ae81ff">8</span>
  Section header string table index: <span style="color:#ae81ff">7</span></code></pre></div>
<h3 id="section">Section</h3>
<p>头部之后紧跟着各种各样的表，我们称之为<strong>Section</strong>(段)，各个section被计入可执行文件的Section header table中，我们可以这样查看:</p>
<div class="highlight"><pre style="color:#f8f8f2;background-color:#272822;-moz-tab-size:4;-o-tab-size:4;tab-size:4"><code class="language-sh" data-lang="sh"><span style="color:#f92672">[</span>ubuntu<span style="color:#f92672">]</span> ~/.mac/assem $ readelf -S hello
There are <span style="color:#ae81ff">8</span> section headers, starting at offset 0x2e0:
Section Headers:
  <span style="color:#f92672">[</span>Nr<span style="color:#f92672">]</span> Name              Type             Address           Offset
       Size              EntSize          Flags  Link  Info  Align
  <span style="color:#f92672">[</span> 0<span style="color:#f92672">]</span>                   NULL             <span style="color:#ae81ff">0000000000000000</span>  <span style="color:#ae81ff">00000000</span>
       <span style="color:#ae81ff">0000000000000000</span>  <span style="color:#ae81ff">0000000000000000</span>           <span style="color:#ae81ff">0</span>     <span style="color:#ae81ff">0</span>     <span style="color:#ae81ff">0</span>
  <span style="color:#f92672">[</span> 1<span style="color:#f92672">]</span> .text             PROGBITS         00000000004000b0  000000b0
       <span style="color:#ae81ff">0000000000000025</span>  <span style="color:#ae81ff">0000000000000000</span>  AX       <span style="color:#ae81ff">0</span>     <span style="color:#ae81ff">0</span>     <span style="color:#ae81ff">16</span>
  <span style="color:#f92672">[</span> 2<span style="color:#f92672">]</span> .data             PROGBITS         00000000006000d8  000000d8
       000000000000000e  <span style="color:#ae81ff">0000000000000000</span>  WA       <span style="color:#ae81ff">0</span>     <span style="color:#ae81ff">0</span>     <span style="color:#ae81ff">4</span>
  <span style="color:#f92672">[</span> 3<span style="color:#f92672">]</span> .stab             PROGBITS         <span style="color:#ae81ff">0000000000000000</span>  000000e8
       <span style="color:#ae81ff">0000000000000084</span>  <span style="color:#ae81ff">0000000000000014</span>           <span style="color:#ae81ff">4</span>     <span style="color:#ae81ff">0</span>     <span style="color:#ae81ff">4</span>
  <span style="color:#f92672">[</span> 4<span style="color:#f92672">]</span> .stabstr          STRTAB           <span style="color:#ae81ff">0000000000000000</span>  0000016c
       <span style="color:#ae81ff">0000000000000009</span>  <span style="color:#ae81ff">0000000000000000</span>           <span style="color:#ae81ff">0</span>     <span style="color:#ae81ff">0</span>     <span style="color:#ae81ff">1</span>
  <span style="color:#f92672">[</span> 5<span style="color:#f92672">]</span> .symtab           SYMTAB           <span style="color:#ae81ff">0000000000000000</span>  <span style="color:#ae81ff">00000178</span>
       <span style="color:#ae81ff">0000000000000108</span>  <span style="color:#ae81ff">0000000000000018</span>           <span style="color:#ae81ff">6</span>     <span style="color:#ae81ff">7</span>     <span style="color:#ae81ff">8</span>
  <span style="color:#f92672">[</span> 6<span style="color:#f92672">]</span> .strtab           STRTAB           <span style="color:#ae81ff">0000000000000000</span>  <span style="color:#ae81ff">00000280</span>
       <span style="color:#ae81ff">0000000000000027</span>  <span style="color:#ae81ff">0000000000000000</span>           <span style="color:#ae81ff">0</span>     <span style="color:#ae81ff">0</span>     <span style="color:#ae81ff">1</span>
  <span style="color:#f92672">[</span> 7<span style="color:#f92672">]</span> .shstrtab         STRTAB           <span style="color:#ae81ff">0000000000000000</span>  000002a7
       <span style="color:#ae81ff">0000000000000036</span>  <span style="color:#ae81ff">0000000000000000</span>           <span style="color:#ae81ff">0</span>     <span style="color:#ae81ff">0</span>     <span style="color:#ae81ff">1</span>
Key to Flags:
  W <span style="color:#f92672">(</span>write<span style="color:#f92672">)</span>, A <span style="color:#f92672">(</span>alloc<span style="color:#f92672">)</span>, X <span style="color:#f92672">(</span>execute<span style="color:#f92672">)</span>, M <span style="color:#f92672">(</span>merge<span style="color:#f92672">)</span>, S <span style="color:#f92672">(</span>strings<span style="color:#f92672">)</span>, I <span style="color:#f92672">(</span>info<span style="color:#f92672">)</span>,
  L <span style="color:#f92672">(</span>link order<span style="color:#f92672">)</span>, O <span style="color:#f92672">(</span>extra OS processing required<span style="color:#f92672">)</span>, G <span style="color:#f92672">(</span>group<span style="color:#f92672">)</span>, T <span style="color:#f92672">(</span>TLS<span style="color:#f92672">)</span>,
  C <span style="color:#f92672">(</span>compressed<span style="color:#f92672">)</span>, x <span style="color:#f92672">(</span>unknown<span style="color:#f92672">)</span>, o <span style="color:#f92672">(</span>OS specific<span style="color:#f92672">)</span>, E <span style="color:#f92672">(</span>exclude<span style="color:#f92672">)</span>,
  l <span style="color:#f92672">(</span>large<span style="color:#f92672">)</span>, p <span style="color:#f92672">(</span>processor specific<span style="color:#f92672">)</span></code></pre></div>
<p>其中，<code>Address</code>表示这个section加载到进程中的虚拟内存地址，<code>Offset</code>表示这个section相对于文件头部的偏移量，有了<code>Offset</code>+<code>Size</code>进程才知道如何安排相应的<code>Address</code>。<code>Flags</code>表示权限标志位，<code>A</code>表示这个section的内容需要在内存中载入，<code>X</code>表示可执行的权限，<code>W</code>表示可写入的权限。</p>
<p><code>.text</code>用于存放二进制的执行代码(指令)。我们可以看到这个段的地址恰好是文件头中的Entry point address。</p>
<p><code>.data</code>用于存放所有已经初始化过的全局变量的数据，<code>.bss</code>用于存放未初始化的全局变量数据，虽然它们在内存中都需要相应的起始地址和内存区域，但在可执行文件中没必要用一定区域去记下<code>.bss</code>中的零值。<code>.rodata</code>专门用于保存只读数据，例如字符串的字面量，在很多语言中它都是只读的。</p>
<p><code>.symtab</code>表示符号表，存储了程序定义和引用的函数和全局变量信息:</p>
<ul>
<li>当前模块内，可被外部引用的全局符号，比如函数和全局变量（非 static）。</li>
<li>只被当前模块定义和引用的本地符号，比如 static 函数和变量，不能被外部引用。</li>
<li>其他模块定义，被当前模块所引用的全局符号（external）。</li>
</ul>
<p>对于程序运行来讲，符号表没有什么用，CPU不管什么符号、类型，它只需要内存地址。符号就相当于是内存地址的助记符，主要是便于我们调试和反汇编使用的。</p>
<h3 id="segment">Segment</h3>
<p>执行的时候，我们需要告诉操作系统，有哪些section需要载入为内存中的<strong>segment</strong>，这个信息被链接器放在Program header table中，操作系统的载入器以此信息来安排程序在内存中的样子，我们可以这样查看:</p>
<div class="highlight"><pre style="color:#f8f8f2;background-color:#272822;-moz-tab-size:4;-o-tab-size:4;tab-size:4"><code class="language-sh" data-lang="sh"><span style="color:#f92672">[</span>ubuntu<span style="color:#f92672">]</span> ~/.mac/assem $ readelf -l hello
Elf file type is EXEC <span style="color:#f92672">(</span>Executable file<span style="color:#f92672">)</span>
Entry point 0x4000b0
There are <span style="color:#ae81ff">2</span> program headers, starting at offset <span style="color:#ae81ff">64</span>
Program Headers:
  Type           Offset             VirtAddr           PhysAddr
                 FileSiz            MemSiz              Flags  Align
  LOAD           0x0000000000000000 0x0000000000400000 0x0000000000400000
                 0x00000000000000d5 0x00000000000000d5  R E    0x200000
  LOAD           0x00000000000000d8 0x00000000006000d8 0x00000000006000d8
                 0x000000000000000e 0x000000000000000e  RW     0x200000
 Section to Segment mapping:
  Segment Sections...
   <span style="color:#ae81ff">00</span>     .text
   <span style="color:#ae81ff">01</span>     .data</code></pre></div>
<p>上面的section to segment mapping就表示把section中的<code>.text</code>段的内容放在内存中<code>00</code>号的segment上。在可执行文件中会把section分的很细，但在内存中可能会把一些section合并起来，忽略掉一些section，起到节约内存的目的。</p>
<h2 id="函数调用">函数调用</h2>
<p><strong>函数</strong>本身相当于一个图纸，出了设计院它就是只读的，放在<code>.text</code>段中，线程参考图纸来执行。线程通过<code>IP/PC</code>寄存器知道执行到图纸的哪里，下一条指令是什么，主线程通过可执行文件的入口地址找到第一条指令。</p>
<h3 id="调用堆栈">调用堆栈</h3>
<p>那么每个CPU核心只有一个IP寄存器，线程却有很多个怎么办？实际上在同一时刻，只有一个线程绑定了一套物理寄存器，若它的时间片用完了则由操作系统保存它对应的寄存器状态在某段内存中，下次轮到它执行时再恢复寄存器的状态。那么我们可以在抽象层面上理解为每个线程都有一套自己的寄存器。同时，这种切换线程需要消耗一定的资源，用于保存和恢复状态，用于内核态和用户态的切换。</p>
<p>函数执行过程中需要在线程中保存参数、返回值、局部变量等，这块内存叫做<strong>栈</strong>(Stack)。那么如果是嵌套调用，如何保存各函数的状态呢？</p>
<p><img src="./images/func.jpg" alt="" /></p>
<p>如左图所示，A函数嵌套了B函数，A要等待B执行完成之后再接着执行自己的逻辑。所以我们一般把栈内存竖着画，由底部的高位向低位分配，函数执行结束则把其对应的内存区域销毁，如右图所示。我们把每一个函数所占的格子叫<strong>栈帧</strong>(Stack Frame)，把整个A、B、C的调用层次称为<strong>调用堆栈</strong>(Call Stack)。程序出错时候我们看到一级级的错误信息就是通过调用堆栈追溯到的。</p>
<p>调用一个函数，在指令级别上还是有很大的开销的，所以有了<strong>内联</strong>(inline)的优化手段。</p>
<h3 id="调用约定">调用约定</h3>
<p>接下来的问题是A调用B的时候，如何给B传递参数，如何接收B的返回值，要么A划定区域，要么B划定区域，要么用寄存器，要么用内存，我们把这种约定称为<strong>调用约定</strong>。以Go语言为例，若A调用B，则A会把自己的栈帧一分为二，下半部分存本地局部变量，上半部分存给B用的参数和B的返回值。若A调用B、C、D等多个函数，则上半部分占用多大空间按哪个函数的参数和返回值最大来算。如此一来，栈帧的大小是在编译期就能确定的，访问栈内某块内存只需根据相对位置，基于栈顶做加法或栈底做减法即可。</p>
<p>一般会把栈顶的地址放在SP寄存器，把栈底的地址放在BP寄存器。理论上，SP或者BP使用一个就够了，每个语言都有自己的选择。Go早期只用SP，后来也引入了BP，因为很多的调试器、自动化检测工具需要使用BP确定栈底的位置。</p>
<p>如果SP/BP用来存当前正在执行的B函数的栈帧，B执行完以后如何知道调用它的A函数的栈帧有多大呢？所以在两个栈帧之间还有一段空间用来存储A的BP/SP、IP，A在调用B的时候就把自己的BP/SP写进去，把自己调用完B之后下一条要执行什么指令写进IP，这叫<strong>保存现场</strong>。B执行完以后，通过这段空间恢复现场。接着，我们看看C语言和Go语言的保存现场和恢复现场分别是怎么做的。</p>
<h4 id="go语言">Go语言</h4>
<div class="highlight"><pre style="color:#f8f8f2;background-color:#272822;-moz-tab-size:4;-o-tab-size:4;tab-size:4"><code class="language-go" data-lang="go"><span style="color:#66d9ef">func</span> <span style="color:#a6e22e">add</span>(<span style="color:#a6e22e">x</span>, <span style="color:#a6e22e">y</span> <span style="color:#66d9ef">int</span>) <span style="color:#66d9ef">int</span> {
	<span style="color:#a6e22e">z</span> <span style="color:#f92672">:=</span> <span style="color:#a6e22e">x</span> <span style="color:#f92672">+</span> <span style="color:#a6e22e">y</span>
	<span style="color:#66d9ef">return</span> <span style="color:#a6e22e">z</span>
}

<span style="color:#66d9ef">func</span> <span style="color:#a6e22e">main</span>() {
	<span style="color:#a6e22e">a</span>, <span style="color:#a6e22e">b</span> <span style="color:#f92672">:=</span> <span style="color:#ae81ff">0x11</span>, <span style="color:#ae81ff">0x22</span>
	<span style="color:#a6e22e">s</span> <span style="color:#f92672">:=</span> <span style="color:#a6e22e">add</span>(<span style="color:#a6e22e">a</span>, <span style="color:#a6e22e">b</span>)
	println(<span style="color:#a6e22e">s</span>)
}</code></pre></div>
<p>通过<code>go build -gcflags &quot;-N -l&quot; call.go</code>接着进行gdb调试:
<div class="highlight"><pre style="color:#f8f8f2;background-color:#272822;-moz-tab-size:4;-o-tab-size:4;tab-size:4"><code class="language-sh" data-lang="sh"><span style="color:#f92672">(</span>gdb<span style="color:#f92672">)</span> b <span style="color:#ae81ff">4</span>
Breakpoint <span style="color:#ae81ff">1</span> at 0x452347: file /root/.mac/gocode/call.go, line 4.
<span style="color:#f92672">(</span>gdb<span style="color:#f92672">)</span> r
Thread <span style="color:#ae81ff">1</span> <span style="color:#e6db74">&#34;call&#34;</span> hit Breakpoint 1, main.add <span style="color:#f92672">(</span>x<span style="color:#f92672">=</span>17, y<span style="color:#f92672">=</span>34, ~r2<span style="color:#f92672">=</span>0<span style="color:#f92672">)</span> at /root/.mac/gocode/call.go:4
4		z :<span style="color:#f92672">=</span> x + y
<span style="color:#f92672">(</span>gdb<span style="color:#f92672">)</span> disass
Dump of assembler code <span style="color:#66d9ef">for</span> <span style="color:#66d9ef">function</span> main.add:
   0x0000000000452330 &lt;+0&gt;:	sub    rsp,0x10
   0x0000000000452334 &lt;+4&gt;:	mov    QWORD PTR <span style="color:#f92672">[</span>rsp+0x8<span style="color:#f92672">]</span>,rbp
   0x0000000000452339 &lt;+9&gt;:	lea    rbp,<span style="color:#f92672">[</span>rsp+0x8<span style="color:#f92672">]</span>
   0x000000000045233e &lt;+14&gt;:	mov    QWORD PTR <span style="color:#f92672">[</span>rsp+0x28<span style="color:#f92672">]</span>,0x0
<span style="color:#f92672">=</span>&gt; 0x0000000000452347 &lt;+23&gt;:	mov    rax,QWORD PTR <span style="color:#f92672">[</span>rsp+0x18<span style="color:#f92672">]</span>
   0x000000000045234c &lt;+28&gt;:	add    rax,QWORD PTR <span style="color:#f92672">[</span>rsp+0x20<span style="color:#f92672">]</span>
   0x0000000000452351 &lt;+33&gt;:	mov    QWORD PTR <span style="color:#f92672">[</span>rsp<span style="color:#f92672">]</span>,rax
   0x0000000000452355 &lt;+37&gt;:	mov    QWORD PTR <span style="color:#f92672">[</span>rsp+0x28<span style="color:#f92672">]</span>,rax
   0x000000000045235a &lt;+42&gt;:	mov    rbp,QWORD PTR <span style="color:#f92672">[</span>rsp+0x8<span style="color:#f92672">]</span>
   0x000000000045235f &lt;+47&gt;:	add    rsp,0x10
   0x0000000000452363 &lt;+51&gt;:	ret
End of assembler dump.</code></pre></div></p>
<p>我们可以把它的栈帧变化情况画出来:</p>
<p><img src="./images/go_func.jpg" alt="" /></p>
<h4 id="c语言">C语言</h4>
<div class="highlight"><pre style="color:#f8f8f2;background-color:#272822;-moz-tab-size:4;-o-tab-size:4;tab-size:4"><code class="language-c" data-lang="c"><span style="color:#66d9ef">int</span> <span style="color:#a6e22e">__attribute__</span>((noinline, optimize(<span style="color:#e6db74">&#34;-O0&#34;</span>))) add(<span style="color:#66d9ef">int</span> x, <span style="color:#66d9ef">int</span> y)
{
    <span style="color:#66d9ef">int</span> z;
    z <span style="color:#f92672">=</span> x <span style="color:#f92672">+</span> y;
    <span style="color:#66d9ef">return</span> z;
}

<span style="color:#66d9ef">int</span> <span style="color:#a6e22e">__attribute__</span>((noinline)) main(<span style="color:#66d9ef">int</span> argc, <span style="color:#66d9ef">char</span> <span style="color:#f92672">**</span>argv)
{
    <span style="color:#66d9ef">int</span> x, y, a;
    x <span style="color:#f92672">=</span> <span style="color:#ae81ff">0x11</span>;
    y <span style="color:#f92672">=</span> <span style="color:#ae81ff">0x22</span>;
    a <span style="color:#f92672">=</span> add(x, y);
    printf(<span style="color:#e6db74">&#34;%d</span><span style="color:#ae81ff">\n</span><span style="color:#e6db74">&#34;</span>, a);
}</code></pre></div>
<p>通过<code>gcc -g -O0 -o frame frame.c</code>接着进行gdb调试:
<div class="highlight"><pre style="color:#f8f8f2;background-color:#272822;-moz-tab-size:4;-o-tab-size:4;tab-size:4"><code class="language-sh" data-lang="sh"><span style="color:#f92672">(</span>gdb<span style="color:#f92672">)</span> b <span style="color:#ae81ff">5</span>
Breakpoint <span style="color:#ae81ff">1</span> at 0x654: file frame.c, line 5.
<span style="color:#f92672">(</span>gdb<span style="color:#f92672">)</span> r
Breakpoint 1, add <span style="color:#f92672">(</span>x<span style="color:#f92672">=</span>17, y<span style="color:#f92672">=</span>34<span style="color:#f92672">)</span> at frame.c:6
6	    z <span style="color:#f92672">=</span> x + y;
<span style="color:#f92672">(</span>gdb<span style="color:#f92672">)</span> disass
Dump of assembler code <span style="color:#66d9ef">for</span> <span style="color:#66d9ef">function</span> add:
   0x000055555555464a &lt;+0&gt;:	push   rbp
   0x000055555555464b &lt;+1&gt;:	mov    rbp,rsp
   0x000055555555464e &lt;+4&gt;:	mov    DWORD PTR <span style="color:#f92672">[</span>rbp-0x14<span style="color:#f92672">]</span>,edi
   0x0000555555554651 &lt;+7&gt;:	mov    DWORD PTR <span style="color:#f92672">[</span>rbp-0x18<span style="color:#f92672">]</span>,esi
<span style="color:#f92672">=</span>&gt; 0x0000555555554654 &lt;+10&gt;:	mov    edx,DWORD PTR <span style="color:#f92672">[</span>rbp-0x14<span style="color:#f92672">]</span>
   0x0000555555554657 &lt;+13&gt;:	mov    eax,DWORD PTR <span style="color:#f92672">[</span>rbp-0x18<span style="color:#f92672">]</span>
   0x000055555555465a &lt;+16&gt;:	add    eax,edx
   0x000055555555465c &lt;+18&gt;:	mov    DWORD PTR <span style="color:#f92672">[</span>rbp-0x4<span style="color:#f92672">]</span>,eax
   0x000055555555465f &lt;+21&gt;:	mov    eax,DWORD PTR <span style="color:#f92672">[</span>rbp-0x4<span style="color:#f92672">]</span>
   0x0000555555554662 &lt;+24&gt;:	pop    rbp
   0x0000555555554663 &lt;+25&gt;:	ret
End of assembler dump.</code></pre></div>
同样可以画出图来:
<img src="./images/c_func.jpg" alt="" /></p>
<h4 id="比较">比较</h4>
<p>相同点是在调用CALL指令的时候，先把main函数中执行完add函数的下一条指令(在IP寄存器中)存在栈里，在调用RET指令的时候，这条指令会被自动恢复入IP寄存器。</p>
<p>不同点是C语言通过<code>push</code>和<code>pop</code>指令入栈、出栈，让栈顶SP自动随着变化。而Go语言采用了<code>sub</code>、<code>add</code>指令直接计算栈顶地址。</p>
<p>此外，在C语言中，是优先通过寄存器传递参数和返回值，经常使用SI、DI寄存器传参，使用AX寄存器存储返回值，因为C是性能优先，寄存器肯定是最快的。Go是使用栈内存传参和返回值的，这和它本身Goroutine的运行方式有关。</p>
<h3 id="栈和堆">栈和堆</h3>
<p>堆、栈既是两种数据结构，也是函数执行单位，在不同的场景有不同的概念。</p>
<p>对于栈内存来讲，它是整块的，不需要垃圾回收器参与，访问的时候只需要根据BP、SP按相对位置进行访问，所以它的效率是非常高的。而堆内存是和单个线程无关的，是共享的，就会涉及到很复杂的内存管理方式，分配的时候要找到大小和位置合适的块，释放的时候要尽可能的避免内存碎片化。所以说，编译器有责任尽可能把数据分配在栈上。但是，栈上内存是按栈帧整块释放的，某些情况下如果某个变量要在不同的栈帧中维持，它的生命周期发生了改变，这种情况这个变量的内存就要在堆上分配了，这种现象就叫<strong>逃逸</strong>。逃逸也会带来严重的性能问题。</p>
</article>
 
      

      <footer class="book-footer">
        
  <div class="flex justify-between">



  <div>
    
    <a class="flex align-center" href="https://github.com/hjlarry/hjlarry.github.io/commit/a7ef6c2b890ed6e4e045562ab7882ae5ff745a93" title='最后修改者 hjlarry | March 31, 2021' target="_blank" rel="noopener">
      <img src="/svg/calendar.svg" class="book-icon" alt="Calendar" />
      <span>March 31, 2021</span>
    </a>
  </div>



  <div>
    <a class="flex align-center" href="https://github.com/hjlarry/hjlarry.github.io/edit/master/content/docs/sicp/program/_index.md" target="_blank" rel="noopener">
      <img src="/svg/edit.svg" class="book-icon" alt="Edit" />
      <span>编辑本页</span>
    </a>
  </div>

</div>

 
        <br>
<div style="text-align: center;font-size:xx-small;">
    Powered by <a href="https://gohugo.io" target="_blank">Hugo</a> | Theme by <a
        href="https://github.com/alex-shpak/hugo-book" target="_blank">hugo-book</a>
</div>
      </footer>

      
  
 

      <label for="menu-control" class="hidden book-menu-overlay"></label>
    </div>

    
    <aside class="book-toc">
      
  <nav id="TableOfContents">
  <ul>
    <li><a href="#程序构建">程序构建</a>
      <ul>
        <li><a href="#预处理">预处理</a></li>
        <li><a href="#编译">编译</a></li>
        <li><a href="#汇编">汇编</a></li>
        <li><a href="#链接">链接</a></li>
      </ul>
    </li>
    <li><a href="#可执行文件">可执行文件</a>
      <ul>
        <li><a href="#head">Head</a></li>
        <li><a href="#section">Section</a></li>
        <li><a href="#segment">Segment</a></li>
      </ul>
    </li>
    <li><a href="#函数调用">函数调用</a>
      <ul>
        <li><a href="#调用堆栈">调用堆栈</a></li>
        <li><a href="#调用约定">调用约定</a></li>
        <li><a href="#栈和堆">栈和堆</a></li>
      </ul>
    </li>
  </ul>
</nav>

 
    </aside>
    
  </main>

  
</body>

</html>












